An Accurate Worst Case Timing Analysis Technique for RISC Processors
نویسندگان
چکیده
An accurate and safe estimation of a task's worst case execution time (WCET) is crucial for reasoning about the timing properties of real-time systems. In RISC processors , the execution time of a program construct (e.g., a statement) is aaected by various factors such as cache hits/misses and pipeline hazards, and these factors impose serious problems in analyzing the WCETs of tasks. To analyze the timing eeects of RISC's pipelined execution and cache memory, this paper proposes extensions of the original timing schema 26] where the timing information associated with each program construct is a simple time-bound. We associate with each program construct what we call a WCTA (Worst Case Timing Abstraction), which contains detailed timing information of every execution path that might be the worst case execution path of the program construct. This extension leads to a revised timing schema that is similar to the original timing schema except that concatenation and pruning operations on WCTAs are newly deened to replace the add and max operations on time-bounds in the original timing schema. Our revised timing schema accurately accounts for the timing eeects of pipelined execution and cache memory not only within but also across program constructs. This paper also reports on preliminary results of WCET analyses for a pipelined processor. Our results show that up to 50 % tighter WCET bounds can be obtained by using the revised timing schema.
منابع مشابه
A Worst Case Timing Analysis Technique for Multiple-Issue Machines
We propose a worst case timing analysis technique for in-order, multiple-issue machines. In the proposed technique, timing information for each program construct is represented by a directed acyclic graph (DAG) that shows dependences among instructions in the program construct. From this information, we derive for each pair of instructions the distance bounds between their issue times. Using th...
متن کاملPortable Execution Time Analysis for RISC Processors
The knowledge of a task’s worst case execution time (WCET) is required for scheduling real-time tasks. Existing execution time analyzers are machine dependent and this is a serious problem as architectures evolve rapidly. In this paper, we present a tool for portable execution time analysis for RISC processors. This tool generates an execution time analyzer for any RISC processor. The analyzer ...
متن کاملRetargetable Timing Analyzer for Risc Processors
The objective of this paper is to present a software tool, called retargetable timing analyzer generator (RTAG), which takes as input an architecture description and automatically generates a pipeline an-alyzer to resolve the portability problem. We explain our methodology for worst case execution time analysis and describe how it is reeected in the timing analyzer generator. The generator take...
متن کاملGeneralizing timing predictions to set-associative caches
Recently, research on the static prediction of worst-case execution time (WCET) of programs has been extended from simple CISC to pipelined RISC processors, and from uncached architectures to direct-mapped instruction caches. This work goes one step further by introducing a framework to handle WCET prediction for set-associative caches. Generalizing the work of static cache simulation of direct...
متن کامل